Logic optimization - PDFSEARCH.IO - Document Search Engine

Logic optimization
Results: 335

#	Item
71	A General LTL Framework for Describing Control Knowledge in Classical Planning Master’s Thesis Faculty of Science, University of Basel Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2014-06-13 10:43:18 Heuristics Game artificial intelligence Combinatorial optimization Linear temporal logic Mathematics A* search algorithm Heuristic function Information science Temporal logic Search algorithms Artificial intelligence Routing algorithms
72	Background Algorithms Implementation & Experiments Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2015-02-25 12:00:08 Search algorithms Algorithm Mathematical logic Mathematical optimization Science Cybernetics Genetic algorithm Applied mathematics Mathematics Theoretical computer science
73	The Parameterized Complexity of Global Constraints∗ C. Bessiere LIRMM Montpellier, France Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:28 Computer programming Local consistency Constraint satisfaction Constraint logic programming Parameterized complexity Mathematical optimization Clique problem Decomposition method Complexity of constraint satisfaction Constraint programming Theoretical computer science Software engineering
74	DIMACS Series in Discrete Mathematics and Theoretical Computer Science Using Global Constraints for Local Search Alexander Nareyek Abstract. Conventional ways of using local search are dicult to generalize. Add to Reading List Source URL: www.ai-center.com Language: English - Date: 2010-04-02 04:54:45 Computing Constraint satisfaction Constraint optimization Local search Mathematical optimization Constraint Local consistency Constraint logic programming Constraint programming Software engineering Computer programming
75	Fair and Balanced: Learning to Present News Stories Amr Ahmed∗1 , Choon Hui Teo∗1 , S.V. N. Vishwanathan2 , Alex Smola1 2 1 Yahoo! Research, Santa Clara, CA 95053, USA Add to Reading List Source URL: www.stat.purdue.edu Language: English - Date: 2012-02-26 10:11:37 Mathematical optimization Abstract algebra Operations research Entailment Matroid Dynamic programming Logic Mathematics Submodular set function
76	Super Solutions Emmanuel Hebrard Toulouse Outline Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2014-02-17 03:08:57 Constraint satisfaction Computing Mathematical optimization Polynomial Constraint Constraint logic programming Constraint programming Software engineering Computer programming
77	Pairwise-Difference Estimation of a Dynamic Optimization Model∗ Han Hong Stanford University Matthew Shum† Add to Reading List Source URL: web.stanford.edu Language: English - Date: 2010-12-02 19:46:17 Statistical theory Entailment Logical syntax Metalogic Philosophical logic Normal distribution Asymptotic theory Logic Statistics Econometrics
78	Integer Point Sets Minimizing Average Pairwise ℓ1 Distance: What is the Optimal Shape of a Town? Erik D. Demaine∗ S´ andor P. Fekete† Add to Reading List Source URL: cccg.ca Language: English - Date: 2009-09-02 14:33:35 Operations research Optimal control Systems engineering Systems theory Systems science Mathematics Linear temporal logic Dynamic programming Equations Mathematical optimization
79	Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-10-18 12:19:38 Operations research Linear algebra Axiom Algorithm Function Euclidean geometry Logic programming Mathematical optimization Vector space Mathematics Algebra Mathematical logic
80	iCrowd: An Adaptive Crowdsourcing Framework Ju Fan‡ Guoliang Li† Beng Chin Ooi‡ Kian-lee Tan‡ Add to Reading List Source URL: dbgroup.cs.tsinghua.edu.cn Language: English - Date: 2015-04-21 06:41:27 Social information processing Crowdsourcing Combinatorial optimization Matching Algorithm Mathematical logic Amazon Mechanical Turk Kalman filter Inference Statistics Mathematics Applied mathematics

UPDATE